w{-}time($w$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$2of($e$)